How To Use Hypothesis For Model-Based Testing